Francesco PAOLI SIMPLIFIED AFFINE PHASE STRUCTURES

نویسندگان

  • Francesco PAOLI
  • FRANCESCO PAOLI
چکیده

A b s t r a c t. Phase models for affine linear logic were independently devised by Lafont [10] and Piazza [15], although foreshadowed by Ono [14]. However, the existing semantics either contain no explicit directions for the construction of models in the general case, or else are forced to resort to additional conditions extending Girard’s semantics (preordering of the monoids, the condition that the set of antiphases be an ideal). We dispense with these extra postulates at least for the subexponential fragment of this logic considering structures where the set of antiphases is concretely constructed. Moreover, we show the equivalence of our phase models and the algebraic models of affine linear logic by means of a representation theorem.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Axial and Torsional Free Vibrations of Elastic Nano-Beams by Stress-Driven Two-Phase Elasticity

Size-dependent longitudinal and torsional vibrations of nano-beams are examined by two-phase mixture integral elasticity. A new and efficient elastodynamic model is conceived by convexly combining the local phase with strain- and stress-driven purely nonlocal phases. The proposed stress-driven nonlocal integral mixture leads to well-posed structural problems for any value of the scale parameter...

متن کامل

Reply to Francesco Paoli’s Comments on Fuzzy Logic and Higher-Order Vagueness

I am extremely grateful to Francesco Paoli for his very interesting and valuable comments on my paper. In what follows, I shall try to respond to his objections. As will be evident from the fact that it frequently directs the reader to [2] for longer discussions of issues and more detailed presentations of arguments, my paper is not fully selfcontained: at a number of places, it stands in need ...

متن کامل

The Logic of Quasi-MV Algebras

The algebraic theory of quasi-MV algebras, generalizations of MV algebras arising in quantum computation, is by now rather well-developed. Although it is possible to define several interesting logics from these structures, so far this aspect has not been investigated. The present article aims at filling this gap.

متن کامل

Realization of locally extended affine Lie algebras of type $A_1$

Locally extended affine Lie algebras were introduced by Morita and Yoshii in [J. Algebra 301(1) (2006), 59-81] as a natural generalization of extended affine Lie algebras. After that, various generalizations of these Lie algebras have been investigated by others. It is known that a locally extended affine Lie algebra can be recovered from its centerless core, i.e., the ideal generated by weight...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998